221. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
رده :
QA
9
.
7
.
L3
222. Nonlinear Model Predictive Control : Theory and Algorithms
پدیدآورنده : by Lars Grune, Jurgen Pannek
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Automotive engineering,، Chemical engineering,، Control engineering,، Engineering
رده :
TJ
217
.
6
.
N66
2017
223. Nonlinear model predictive control: theory and algorithms
پدیدآورنده : Lars Grune and Jurgen Pannek
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Predictive control,Nonlinear control theory,Control theory
224. On the theory and application of the general linear model
پدیدآورنده : Koerts, J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Econometrics,، Regression analysis
رده :
HB
74
.
M3
.
K57
225. Polaron theory: model problems
پدیدآورنده : Bogolubov, Nikolai Nikolaevich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Polarons
رده :
QC
176
.
8
.
P62
B64
2000
226. 28, 2011. Proceedings-Theory and Practice of Model Transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27
پدیدآورنده : / Alexander Egyed, Andreas Demuth (auth.), Jordi Cabot, Eelco Visser (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
227. Quantum Field Theory and the Standard Model
پدیدآورنده : / Schwartz M.D.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
228. Quantum field theory and the standard model
پدیدآورنده : / Matthew D. Schwartz, Harvard University
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Quantum field theory--Textbooks,Particles (Nuclear physics)--Textbooks
رده :
QC174
.
45
.
S329
2014
229. Quantum field theory and the standard model
پدیدآورنده : Schwartz, Matthew Dean
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Textbooks ، Quantum field theory,Textbooks ، Particles )Nuclear physics(
رده :
QC
174
.
45
.
S32
2014
230. Quantum field theory and the standard model /
پدیدآورنده : Matthew D. Schwartz, Harvard University
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Particles (Nuclear physics), Textbooks,Quantum field theory, Textbooks
رده :
QC174
.
45
.
S329
2014
231. Quantum field theory and the standard model
پدیدآورنده : Schwartz, Matthew Dean, 6791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Quantum field theory,Textbooks ، Particles )Nuclear physics(
رده :
QC
174
.
45
.
S39Q3
232. Recent directions in particle theory : from superstrings and black holes to the Standard model : proceedings of the 1992 Theoretical Advanced Study Institute in Elementary Particle Physics, Boulder, Colorado, 1-26 June 1992
پدیدآورنده : editors Jeffrey Harvey, Joseph Polchinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Particles )Nuclear physics(,Congresses ، String models,Congresses ، Standard model )Nuclear physics(,Congresses ، Field theory )Physics(,Congresses ، Astrophysics
رده :
QC
793
.
T43
1992
233. Relativistic theory of reactions )model independent methods(
پدیدآورنده : Werle, J
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Nuclear reactions
رده :
QC
794
.
W47
234. Relativistic theory of reactions )model independent methods(
پدیدآورنده : Werle, J.)Jozef(
موضوع : ، Nuclear reactions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
235. Satfurated model theory
پدیدآورنده : Sacks, Gernald E
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Model Theory
رده :
QA
9
.
S313
236. Saturated model theory
پدیدآورنده : Sacks, Gerald E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Model theory
رده :
QA
9
.
S313
237. Saturated model theory
پدیدآورنده : [by] Gerald E. Sacks.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Model theory.,Modèles, Théorie des.,31.02 philosophy and theory of mathematics.,Model theory.,Model theory.,Modèles, Théorie des.,Modelltheorie
رده :
QA9
.
S313
238. Semantics of programming languages and model theory
پدیدآورنده : / edited by Manfred droste and yuri gurevich
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Programming languages (Electronic Computers)-- Semantics
رده :
005
.
131
S471
239. Semantics of programming languages and model theory
پدیدآورنده : edited by Manfred Droste and Yuri Gurevich
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
S4
